翻訳と辞書 |
Jan Willem Klop : ウィキペディア英語版 | Jan Willem Klop
Jan Willem Klop is a professor of applied logic at Vrije Universiteit in Amsterdam. He holds a Ph.D. in mathematical logic from Utrecht University. Klop is known for his work on the Algebra of Communicating Processes, co-author of ''TeReSe'' and his fixed point combinator〔 Here: nr.1.3, p.198〕 : Yk = (L L L L L L L L L L L L L L L L L L L L L L L L L L) where : L = λabcdefghijklmnopqstuvwxyzr. (r (t h i s i s a f i x e d p o i n t c o m b i n a t o r)) ==Selected publications==
* * — preceding technical report (FVI 86-03 ) * — preceding technical report (IEICE COMP 88-90 ) * * * * *
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Jan Willem Klop」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|